Skip to content

fix: remove invalid lint in pkg#835

Merged
elliotxx merged 1 commit into
mainfrom
fix-mk-lint
Apr 21, 2025
Merged

fix: remove invalid lint in pkg#835
elliotxx merged 1 commit into
mainfrom
fix-mk-lint

Conversation

@fanfan-yu
Copy link
Copy Markdown
Collaborator

What type of PR is this?

What this PR does / why we need it:

TODO

Which issue(s) this PR fixes:

Fixes #

Copy link
Copy Markdown
Collaborator

@elliotxx elliotxx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@elliotxx elliotxx merged commit 632bd6a into main Apr 21, 2025
10 checks passed
@elliotxx elliotxx deleted the fix-mk-lint branch April 21, 2025 13:27
@github-actions github-actions Bot locked and limited conversation to collaborators Apr 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants